Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic The classically valid but intuitionistically non-valid formula of
propositional calculus , which can be used as an substitute for thelaw of excluded middle inimplicational propositional calculus .
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
Named after the logician and philosopher Charles Sanders Peirce.
Support
Help support Wordnik (and make this page ad-free) by adopting the word Peirce's law.
Examples
Sorry, no example sentences found.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.